Type theory - PDFSEARCH.IO - Document Search Engine

Type theory
Results: 3552

#	Item
351	Themes in Information-Rich Functional Programming for Internet-Scale Data Sources Don Syme, Keith Battocchi, Kenji Takeda Microsoft Research Cambridge, UK Add to Reading List Source URL: tomasp.net Language: English - Date: 2016-08-05 06:39:50 Markup languages Type theory Type systems Procedural programming languages Functional languages Language Integrated Query JSON Type inference Functional programming Database Programming language Go
352	ISSNon lineprintedGeometry & Topology Monographs Volume 7: Proceedings of the Casson Fest Add to Reading List Source URL: people.mpim-bonn.mpg.de Language: English - Date: 2012-08-07 09:12:03 Differential topology Geometric topology Surgery theory Knot invariants 3-manifolds Finite type invariant Manifold Cobordism StiefelWhitney class Casson invariant H-cobordism Kontsevich invariant
353	Math. Ann. 328, 135–Mathematische Annalen DOI: s00208y Add to Reading List Source URL: people.mpim-bonn.mpg.de Language: English - Date: 2012-08-01 06:52:27 Knot invariants Surgery theory Geometric topology 3-manifolds Quadratic forms Finite type invariant Clasper Cobordism Kontsevich invariant Arf invariant Knot theory Capped grope
354	Visible Type Application (Extended version) Richard A. Eisenberg, Stephanie Weirich, and Hamidhasan G. Ahmed University of Pennsylvania {eir,sweirich}@cis.upenn.edu Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2015-10-16 15:01:14 Type theory HindleyMilner type system Generalized algebraic data type Type inference Type class System F Unification Glasgow Haskell Compiler Type system Monad Haskell Principal type
355	Pig Latin Basics Table of contents 1 Conventions........................................................................................................................ 2 2 Reserved Keywords.............................. Add to Reading List Source URL: pig.apache.org Language: English - Date: 2016-06-08 16:05:33 Type theory Data types Relational model Data management Query languages Tuple Pig Unique key Relational database Product type Relation Foreach loop
356	365 Documenta Math. Heegner Points and L-Series of Automorphic Cusp Forms of Drinfeld Type Add to Reading List Source URL: documenta.sagemath.org Language: English - Date: 2001-01-17 12:27:15 Algebraic geometry Modular forms Field theory Valuation Symbol Complex multiplication Hecke operator Elliptic curve Drinfeld module Spectral theory of ordinary differential equations RamanujanPetersson conjecture
357	Transformation and Analysis of Haskell Source Code λ ⊥ Add to Reading List Source URL: community.haskell.org Language: English - Date: 2013-10-12 04:58:09 Higher-order functions Programming language comparisons Data types Functional programming Generalized algebraic data type Type theory Map Haskell Fold Yhc Hugs Conditional
358	A Practical Optional Type System for Clojure Ambrose Bonnaire-Sergeant Supervised by Rowan Davies This report is submitted as partial fulfilment Add to Reading List Source URL: s3.amazonaws.com Language: English - Date: 2012-12-09 00:09:47 Functional languages Type theory Type systems Scripting languages Cross-platform software Clojure Gradual typing Functional programming Lisp Type inference Dynamic programming language ML
359	Populations & samples Baroni & Evert The population Type probabilities Population models Add to Reading List Source URL: zipfr.r-forge.r-project.org Language: English - Date: 2008-11-10 18:29:37 Survey methodology Statistical inference Sampling Statistics Probability distribution Estimation theory Sample
360	Type Theory and Constructive Mathematics Type Theory and Constructive Mathematics Thierry Coquand University of Gothenburg Add to Reading List Source URL: events.cs.bham.ac.uk Language: English - Date: 2012-04-26 12:08:36 Homotopy theory General topology Topology Contractible space Connected space Homotopy Univalent foundations Topological space Continuous function

UPDATE